|
|
Educational Tool for Coloured Petri Nets
Navrátil, Ondřej ; Kočí, Radek (referee) ; Rogalewicz, Adam (advisor)
Coloured Petri nets (CPN) are an extension of a standard place-transition Petri nets (P/T PN). Every token and place have its type (and eventually a value) and various inscriptions can be inserted into the net. CPN excel with great readibility and expresivity. At the same time, they carry a well-defined formal basis, which eases its computer simulation and allows limited verification of certain attributes to be performed. Motivation for doing this project is the simple fact that currently only one public software tool is available for CPN creation and simulation - CPNTools developed on the Aarhus university. The program, however, is quite complicated and hard to handle for an unexperienced user. The goal is to research capabilities and properties of both CPNs and CPNTools and on this basis design and implement a didactic application with swift and intuitive interface that helps users without deeper theoretical insight to get a grasp of the problematics.
|
|
|
Parser and Validator of Data Models in YANG Language
Vican, Pavol ; Kekely, Lukáš (referee) ; Kořenek, Jan (advisor)
Computer network administrators need tools for configuration and monitoring of network devices. Therefore, NETCONF protocol was designed for remote devices configuration and YANG modelling language which describes the structure of the configuration data. The aim of this thesis is to extend the libyang library with syntax parser, that processes models written in YANG and stores them into internal structures. This parser is generated by bison and flex tools.
|
|
|
Website Design
Husár, Viliam ; Neuwirth, Bernard (referee) ; Koch, Miloš (advisor)
The aim of this bachelor's thesis is to design a web application for company VHML, spol. s r.o., by help of which employees will be able to create quotations and pricelist and send them to customers. This application will based on following technologies: PHP, MySQL, FLEX and LaTeX.
|
|
|
Language for Procedural Generation
Dobiáš, Roman ; Káčerik, Martin (referee) ; Milet, Tomáš (advisor)
This thesis deals with designing and implementing a library with language devoted to procedural generation extending L-systems. Emphasis is put on practical usage of the library which is aimed to be used by a wide spectrum of real-world applications, especially by 3D rendering engines and editors. The thesis covers theory of procedural generation, L-systems, theory of compilers, and design and implementation of the library. In conclusion, case study projects are introduced which embed the library and numerous examples are given.
|
|
|
General System for Testing of Interprets
Drahošová, Michaela ; Koutný, Jiří (referee) ; Lukáš, Roman (advisor)
This work deals with concept and implementation of General system for testing of interprets. Testing of interprets is based on the principle of comparation of results of the interpretation carried out by the testing with reference results. The set of testing programmes is acquired by translating testing programmes, in the reference language to programmes in the language of tested interpret. The testing system enables generation of a testing set of programmes for an interpret according input and reference result after a preceding analysis of a file consisting of description of the syntax and semantics of the interpret's language. These actions result is translation of a more complex programming language to another.
|
|
|
Modern Technologies in OLAP
Janoška, Daniel ; Kužela, Alois (referee) ; Hruška, Tomáš (advisor)
OLAP systems are sought-after tool which are deployed in companies and industry environment. The fundamental task of these systems are support of executive management. This work is dealing with OLAP analysis and its capabilities. It also discussed FLEX and AIR technology, their base principles and functions.
|
|
|
OLYMPUS E510 Digital Cameras Simulator and Trainer
Hudec, Tomáš ; Drozdová, Martina (referee) ; Kunovský, Jiří (advisor)
Thesis "OLYMPUS E510 Digital Cameras Simulator and Trainer" is possible to divide into 3 parts - general, specific and conclusion. Introductory general part aims to describe Olympus E510 camera - all it's modes' operation is described in a form of a brief manual. Next segment of the general part deals with the technologies used for the implementation, mainly from Adobe. The second, specific part deals with the specifics of the implementation of the Olympus E510 camera simulator, based on the knowledge contained in the first part of the work. The paper is concluded by the evaluation of the implementation from the viewpoint of usage of the specific technology, and compared with possible alternatives, with advantages/disadvantages being highlihted.
|
|
|
Teaching aids for 2D computer graphics
Malina, Jakub ; Průša, Zdeněk (referee) ; Rajmic, Pavel (advisor)
In this master’s thesis we focus on the basic properties of computer curves and their practical applicability. We explain how the curve can be understood in general, what are polynomial curves and their composing possibilities. Then we focus on the description of Bezier curves, especially the Bezier cubic. We discuss in more detail some of fundamental algorithms that are used for modelling these curves on computers and then we will show their practical interpretation. Then we explain non uniform rational B-spline curves and De Boor algorithm. In the end we discuss topic rasterization of segment, thick line, circle and ellipse. The aim of master’s thesis is the creation of the set of interactive applets, simulating some of the methods and algorithm we discussed in theoretical part. This applets will help facilitate understanding and will make the teaching more effective.
|
|
|
Language for Procedural Generation
Dobiáš, Roman ; Káčerik, Martin (referee) ; Milet, Tomáš (advisor)
This thesis deals with designing and implementing a library with language devoted to procedural generation extending L-systems. Emphasis is put on practical usage of the library which is aimed to be used by a wide spectrum of real-world applications, especially by 3D rendering engines and editors. The thesis covers theory of procedural generation, L-systems, theory of compilers, and design and implementation of the library. In conclusion, case study projects are introduced which embed the library and numerous examples are given.
|
|
|
Parser and Validator of Data Models in YANG Language
Vican, Pavol ; Kekely, Lukáš (referee) ; Kořenek, Jan (advisor)
Computer network administrators need tools for configuration and monitoring of network devices. Therefore, NETCONF protocol was designed for remote devices configuration and YANG modelling language which describes the structure of the configuration data. The aim of this thesis is to extend the libyang library with syntax parser, that processes models written in YANG and stores them into internal structures. This parser is generated by bison and flex tools.
|
guest ::
